nonmonotonic logic

См. также в других словарях:

• nonmonotonic — onmonotonic adj. (Math. or logic) not monotonic; of relations between variables. Opposite of {monotonic}. [WordNet 1.5] …   The Collaborative International Dictionary of English

• nonmonotonic — adjective not monotonic • Ant: ↑monotonic • Topics: ↑mathematics, ↑math, ↑maths, ↑logic …   Useful english dictionary

• Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences …   Wikipedia

• applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

• Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that …   Wikipedia

• Autoepistemic logic — The autoepistemic logic is a formal logic aimed at formalizing representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about… …   Wikipedia

• History of logic — Philosophy ( …   Wikipedia

• Deviant logic — Philosopher Susan Haack uses the term deviant logic to describe certain non classical systems of logic. In these logics, the set of well formed formulas generated equals the set of well formed formulas generated by classical logic. the set of… …   Wikipedia

• Circumscription (logic) — Not to be confused with circumscribe. Circumscription is a non monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in …   Wikipedia

• Defeasible logic — is a non monotonic logic proposed by Donald Nute to formalize defeasible reasoning. In defeasible logic, there are three different types of propositions: strict rules  specify that a fact is always a consequence of another; defeasible… …   Wikipedia

• Inference — is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… …   Wikipedia